Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.



Sztuka zadrukowywania kawy

26 sierpnia 2008, 12:06

Dzięki Internetowi i szerokiej rzeszy miłośników kawy z pianką, Oleksiy Pikalo założył swoją własną firmę OnLatte, której celem jest produkcja i sprzedaż urządzeń, tworzących... rysunki na powierzchni filiżanki kawy.


Po raz pierwszy w historii pacjent z zespołem zamknięcia komunikował się pełnymi zdaniami

24 marca 2022, 13:07

Po raz pierwszy w historii całkowicie sparaliżowany człowiek, cierpiący na zespół zamknięcia, mógł komunikować się całymi zdaniami, używając w tym celu urządzenia rejestrującego aktywność mózgu. Dotychczas interfejsy mózg-komputer pozwalały częściowo sparaliżowanym osobom na kontrolowanie protez lub wybieranie prostych odpowiedzi „tak” lub „nie”. Tym razem mamy do czynienia z zupełnie nowym poziomem możliwości komunikacyjnych.


Jubileusz 75-lecia Polskiej Akademii Nauk